A Rust Shaped Hole
mnvr.in·23h·
Discuss: Hacker News
🦀Rust Macros
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·20h
🦀Rust Verification
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·20h·
Discuss: Hacker News, r/programming
🔒Type Safety
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·13h·
Discuss: Hacker News
🎯Interactive Provers
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Checking data integrity
eclecticlight.co·4h
✅Checksum Validation
A distributed systems reliability glossary
antithesis.com·20h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Students, here are 5 key things to know when learning how to train large language models
techradar.com·17h
💻Local LLMs
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·5h
🔧RISC-V Assembler
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Zero-cost statics in C++
cofault.com·2d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Cactus Language • Stylistics 4
inquiryintoinquiry.com·19h
🌳Context free grammars
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros